-
1 typing
1) задание типа [данных]например, typing mistake - опечатка при вводе3) типизация, контроль типовсм. тж. type checkingАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > typing
См. также в других словарях:
SSE4 — SSE4 новый набор команд микроархитектуры Intel Core, впервые реализованный в процессорах серии Penryn (не следует путать с SSE4A от AMD)[1]. Он был анонсирован 27 сентября 2006 года, однако детальное описание стало доступно только весной… … Википедия
Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… … Энциклопедия инвестора
ECMAScript — Класс языка: мультипарадигменный: объектно ориентированное, обобщённое, функциональное, императивное, аспектно ориентированное, событийно ориентированное, прототипное программирование Появился в: 1995 Автор(ы) … Википедия
СЛУЧАЙНАЯ ФУНКЦИЯ — функция произвольного аргумента t(заданная на множестве Тего значений и принимающая числовые значения или, более общо, значения из какого то векторного пространства) такая, что ее значения определяются с помощью нек ро го испытания и в… … Математическая энциклопедия
Паскаль (язык программирования) — Эта статья или раздел нуждается в переработке. В Паскале нет модулей, ООП и прочих новомодных веяний. Описание расширений должно присутствовать только в статьях о соответ … Википедия
Ссылка (C++) — В языке программирования C++ ссылка это простой ссылочный тип, менее мощный, но более безопасный, чем указатель, унаследованый от языка Си. Название C++ ссылка может приводить к путанице, так как в информатике под ссылкой понимается обобщенный… … Википедия
ФУНКЦИЙ ТЕОРИЯ — раздел математики, занимающийся изучением свойств различных функций. Теория функций распадается на две области: теорию функций действительного переменного и теорию функций комплексного переменного, различие между которыми настолько велико, что… … Энциклопедия Кольера
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Путеводитель — Путеводитель состоит из десяти статей, суммирующих взгляды Лема по тем вопросам, к которым он неоднократно обращался в своих текстах и к которым подходил, как к проблемам. Частота обращения сама по себе не может быть аргументом у Лема есть… … Мир Лема - словарь и путеводитель